"Each nation can do well, as in the life of individuals, only if things go equally well in all of her neighboring nations; the life of sciences is similar to that of states whose interest demands that everything be in order within individual states as properly as their relations be in good order among themselves. Understanding this correctly, the most important carriers of mathematical thoughts have always shown great interest in the law and order in neighboring sciences and, above all (...) for the benefit of mathematics, have cultivated the relations to the neighboring sciences, in particular to physics and epistemology. The essence of these relations and the ground of their fertility will be made most distinct, I believe, if I sketch to you that general method of inquiry which appears to grow more and more significant in modern mathematics; the axiomatic method, I mean." (David Hilbert, 1917). (shrink)

In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.

Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information Content Type Journal Article Pages 119-122 DOI 10.1007/s11023-011-9228-0 Authors Giuseppe Primiero, Centre for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, Ghent, 9000 Belgium Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495 Journal Volume Volume 21 Journal Issue Volume 21, Number 1.

Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information Content Type Journal Article Pages 35-40 DOI 10.1007/s11023-011-9250-2 Authors Sebastian Sequoiah-Grayson, Department of Theoretical Philosophy, Faculty of Philosophy, University of Groningen, Groningen, The Netherlands Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495 Journal Volume Volume 22 Journal Issue Volume 22, Number 1.

Some philosophical considerations over Yann LeCun’s position paper “A Path Towards Autonomous Machine Intelligence”.

The authors propose some methodological considerations on thanatochronological estimations. They first consider the problem of the definition of death, and then they deal with the issue of the estimations of death time, that is, with the Post-Mortem Interval (PMI). As regards the first question, they note that it does not concern only the definition of death, but also the choice of a particular kind of definition of 'definition'. With reference to the second question, the authors suggest a causal model showing (...) that the presence of many causal chains must be taken into consideration. Finally they discuss what 'most convenient and reliable causal chain' means for a thanatochronologist. (shrink)